Creativity, Uncertainty, and Automated Model Building
نویسندگان
چکیده
منابع مشابه
Automated Model Building
Preface On the history of the book: In the early 1990s several new methods and perspectives in automated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last field which brought the authors of this book together. In 1994 they met at the Conference on Automated Deductio...
متن کاملVisual automated macromolecular model building
Automated model-building software aims at the objective interpretation of crystallographic diffraction data by means of the construction or completion of macromolecular models. Automated methods have rapidly gained in popularity as they are easy to use and generate reproducible and consistent results. However, the process of model building has become increasingly hidden and the user is often le...
متن کاملTree Automata and Automated Model Building
The use of regular tree grammars to represent and build models of formulae of rst-order logic without equality is investigated. The combination of regular tree grammars with equational constraints provides a powerful and general way of representing Herbrand models. We show that the evaluation problem (i.e. the problem of nding the truth value of a formula in a given model) is decidable when mod...
متن کاملEmpowering Leadership, Uncertainty Avoidance, Trust, and Employee Creativity
This study was conducted in 2016 aimed to investigate the relationship between empowering leadership, uncertainty avoidance, trust, and employee creativity with regard to interaction effects and mediating mechanism. The population consists of 205 employees from the Nomadic affairs of Fars Province. In accordance with the Cochran formula, the sample size of 134 was calculated that were participa...
متن کاملBuilding Artistic Computer Colleagues with an Enactive Model of Creativity
This paper reports on the theory, design, and implementation of an artistic computer colleague that improvises and collaborates with human users in real-time. Our system, Drawing Apprentice, is based on existing theories of art, creative cognition, and collaboration synthesized into an enactive model of creativity. The implementation details of the Drawing Apprentice are provided along with ear...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Groundwater
سال: 2017
ISSN: 0017-467X,1745-6584
DOI: 10.1111/gwat.12552